{\rtf1\adeflang1025\ansi\ansicpg1252\uc1\adeff0\deff0\stshfdbch31505\stshfloch31506\stshfhich31506\stshfbi0\deflang2070\deflangfe2070\themelang2070\themelangfe0\themelangcs0{\fonttbl{\f0\fbidi \froman\fcharset0\fprq2{\*\panose 02020603050405020304}Times New Roman{\*\falt Times New Roman};}
{\f1\fbidi \fswiss\fcharset0\fprq2{\*\panose 020b0604020202020204}Arial{\*\falt Arial};}{\f2\fbidi \fmodern\fcharset0\fprq1{\*\panose 02070309020205020404}Courier New;}
{\f5\fbidi \fmodern\fcharset0\fprq1{\*\panose 02070409020205020404}Courier{\*\falt Courier New};}{\f5\fbidi \fmodern\fcharset0\fprq1{\*\panose 02070409020205020404}Courier{\*\falt Courier New};}
{\flomajor\f31500\fbidi \froman\fcharset0\fprq2{\*\panose 02020603050405020304}Times New Roman{\*\falt Times New Roman};}{\fdbmajor\f31501\fbidi \froman\fcharset0\fprq2{\*\panose 02020603050405020304}Times New Roman{\*\falt Times New Roman};}
{\fhimajor\f31502\fbidi \froman\fcharset0\fprq2{\*\panose 02040503050406030204}Cambria;}{\fbimajor\f31503\fbidi \froman\fcharset0\fprq2{\*\panose 02020603050405020304}Times New Roman{\*\falt Times New Roman};}
{\flominor\f31504\fbidi \froman\fcharset0\fprq2{\*\panose 02020603050405020304}Times New Roman{\*\falt Times New Roman};}{\fdbminor\f31505\fbidi \froman\fcharset0\fprq2{\*\panose 02020603050405020304}Times New Roman{\*\falt Times New Roman};}
{\fhiminor\f31506\fbidi \fswiss\fcharset0\fprq2{\*\panose 020f0502020204030204}Calibri;}{\fbiminor\f31507\fbidi \froman\fcharset0\fprq2{\*\panose 02020603050405020304}Times New Roman{\*\falt Times New Roman};}
{\f39\fbidi \froman\fcharset238\fprq2 Times New Roman CE{\*\falt Times New Roman};}{\f40\fbidi \froman\fcharset204\fprq2 Times New Roman Cyr{\*\falt Times New Roman};}{\f42\fbidi \froman\fcharset161\fprq2 Times New Roman Greek{\*\falt Times New Roman};}
{\f43\fbidi \froman\fcharset162\fprq2 Times New Roman Tur{\*\falt Times New Roman};}{\f44\fbidi \froman\fcharset177\fprq2 Times New Roman (Hebrew){\*\falt Times New Roman};}
{\f45\fbidi \froman\fcharset178\fprq2 Times New Roman (Arabic){\*\falt Times New Roman};}{\f46\fbidi \froman\fcharset186\fprq2 Times New Roman Baltic{\*\falt Times New Roman};}
{\f47\fbidi \froman\fcharset163\fprq2 Times New Roman (Vietnamese){\*\falt Times New Roman};}{\f49\fbidi \fswiss\fcharset238\fprq2 Arial CE{\*\falt Arial};}{\f50\fbidi \fswiss\fcharset204\fprq2 Arial Cyr{\*\falt Arial};}
{\f52\fbidi \fswiss\fcharset161\fprq2 Arial Greek{\*\falt Arial};}{\f53\fbidi \fswiss\fcharset162\fprq2 Arial Tur{\*\falt Arial};}{\f54\fbidi \fswiss\fcharset177\fprq2 Arial (Hebrew){\*\falt Arial};}
{\f55\fbidi \fswiss\fcharset178\fprq2 Arial (Arabic){\*\falt Arial};}{\f56\fbidi \fswiss\fcharset186\fprq2 Arial Baltic{\*\falt Arial};}{\f57\fbidi \fswiss\fcharset163\fprq2 Arial (Vietnamese){\*\falt Arial};}
{\f59\fbidi \fmodern\fcharset238\fprq1 Courier New CE;}{\f60\fbidi \fmodern\fcharset204\fprq1 Courier New Cyr;}{\f62\fbidi \fmodern\fcharset161\fprq1 Courier New Greek;}{\f63\fbidi \fmodern\fcharset162\fprq1 Courier New Tur;}
{\f64\fbidi \fmodern\fcharset177\fprq1 Courier New (Hebrew);}{\f65\fbidi \fmodern\fcharset178\fprq1 Courier New (Arabic);}{\f66\fbidi \fmodern\fcharset186\fprq1 Courier New Baltic;}{\f67\fbidi \fmodern\fcharset163\fprq1 Courier New (Vietnamese);}
{\flomajor\f31508\fbidi \froman\fcharset238\fprq2 Times New Roman CE{\*\falt Times New Roman};}{\flomajor\f31509\fbidi \froman\fcharset204\fprq2 Times New Roman Cyr{\*\falt Times New Roman};}
{\flomajor\f31511\fbidi \froman\fcharset161\fprq2 Times New Roman Greek{\*\falt Times New Roman};}{\flomajor\f31512\fbidi \froman\fcharset162\fprq2 Times New Roman Tur{\*\falt Times New Roman};}
{\flomajor\f31513\fbidi \froman\fcharset177\fprq2 Times New Roman (Hebrew){\*\falt Times New Roman};}{\flomajor\f31514\fbidi \froman\fcharset178\fprq2 Times New Roman (Arabic){\*\falt Times New Roman};}
{\flomajor\f31515\fbidi \froman\fcharset186\fprq2 Times New Roman Baltic{\*\falt Times New Roman};}{\flomajor\f31516\fbidi \froman\fcharset163\fprq2 Times New Roman (Vietnamese){\*\falt Times New Roman};}
{\fdbmajor\f31518\fbidi \froman\fcharset238\fprq2 Times New Roman CE{\*\falt Times New Roman};}{\fdbmajor\f31519\fbidi \froman\fcharset204\fprq2 Times New Roman Cyr{\*\falt Times New Roman};}
{\fdbmajor\f31521\fbidi \froman\fcharset161\fprq2 Times New Roman Greek{\*\falt Times New Roman};}{\fdbmajor\f31522\fbidi \froman\fcharset162\fprq2 Times New Roman Tur{\*\falt Times New Roman};}
{\fdbmajor\f31523\fbidi \froman\fcharset177\fprq2 Times New Roman (Hebrew){\*\falt Times New Roman};}{\fdbmajor\f31524\fbidi \froman\fcharset178\fprq2 Times New Roman (Arabic){\*\falt Times New Roman};}
{\fdbmajor\f31525\fbidi \froman\fcharset186\fprq2 Times New Roman Baltic{\*\falt Times New Roman};}{\fdbmajor\f31526\fbidi \froman\fcharset163\fprq2 Times New Roman (Vietnamese){\*\falt Times New Roman};}
{\fhimajor\f31528\fbidi \froman\fcharset238\fprq2 Cambria CE;}{\fhimajor\f31529\fbidi \froman\fcharset204\fprq2 Cambria Cyr;}{\fhimajor\f31531\fbidi \froman\fcharset161\fprq2 Cambria Greek;}{\fhimajor\f31532\fbidi \froman\fcharset162\fprq2 Cambria Tur;}
{\fhimajor\f31535\fbidi \froman\fcharset186\fprq2 Cambria Baltic;}{\fhimajor\f31536\fbidi \froman\fcharset163\fprq2 Cambria (Vietnamese);}{\fbimajor\f31538\fbidi \froman\fcharset238\fprq2 Times New Roman CE{\*\falt Times New Roman};}
{\fbimajor\f31539\fbidi \froman\fcharset204\fprq2 Times New Roman Cyr{\*\falt Times New Roman};}{\fbimajor\f31541\fbidi \froman\fcharset161\fprq2 Times New Roman Greek{\*\falt Times New Roman};}
{\fbimajor\f31542\fbidi \froman\fcharset162\fprq2 Times New Roman Tur{\*\falt Times New Roman};}{\fbimajor\f31543\fbidi \froman\fcharset177\fprq2 Times New Roman (Hebrew){\*\falt Times New Roman};}
{\fbimajor\f31544\fbidi \froman\fcharset178\fprq2 Times New Roman (Arabic){\*\falt Times New Roman};}{\fbimajor\f31545\fbidi \froman\fcharset186\fprq2 Times New Roman Baltic{\*\falt Times New Roman};}
{\fbimajor\f31546\fbidi \froman\fcharset163\fprq2 Times New Roman (Vietnamese){\*\falt Times New Roman};}{\flominor\f31548\fbidi \froman\fcharset238\fprq2 Times New Roman CE{\*\falt Times New Roman};}
{\flominor\f31549\fbidi \froman\fcharset204\fprq2 Times New Roman Cyr{\*\falt Times New Roman};}{\flominor\f31551\fbidi \froman\fcharset161\fprq2 Times New Roman Greek{\*\falt Times New Roman};}
{\flominor\f31552\fbidi \froman\fcharset162\fprq2 Times New Roman Tur{\*\falt Times New Roman};}{\flominor\f31553\fbidi \froman\fcharset177\fprq2 Times New Roman (Hebrew){\*\falt Times New Roman};}
{\flominor\f31554\fbidi \froman\fcharset178\fprq2 Times New Roman (Arabic){\*\falt Times New Roman};}{\flominor\f31555\fbidi \froman\fcharset186\fprq2 Times New Roman Baltic{\*\falt Times New Roman};}
{\flominor\f31556\fbidi \froman\fcharset163\fprq2 Times New Roman (Vietnamese){\*\falt Times New Roman};}{\fdbminor\f31558\fbidi \froman\fcharset238\fprq2 Times New Roman CE{\*\falt Times New Roman};}
{\fdbminor\f31559\fbidi \froman\fcharset204\fprq2 Times New Roman Cyr{\*\falt Times New Roman};}{\fdbminor\f31561\fbidi \froman\fcharset161\fprq2 Times New Roman Greek{\*\falt Times New Roman};}
{\fdbminor\f31562\fbidi \froman\fcharset162\fprq2 Times New Roman Tur{\*\falt Times New Roman};}{\fdbminor\f31563\fbidi \froman\fcharset177\fprq2 Times New Roman (Hebrew){\*\falt Times New Roman};}
{\fdbminor\f31564\fbidi \froman\fcharset178\fprq2 Times New Roman (Arabic){\*\falt Times New Roman};}{\fdbminor\f31565\fbidi \froman\fcharset186\fprq2 Times New Roman Baltic{\*\falt Times New Roman};}
{\fdbminor\f31566\fbidi \froman\fcharset163\fprq2 Times New Roman (Vietnamese){\*\falt Times New Roman};}{\fhiminor\f31568\fbidi \fswiss\fcharset238\fprq2 Calibri CE;}{\fhiminor\f31569\fbidi \fswiss\fcharset204\fprq2 Calibri Cyr;}
{\fhiminor\f31571\fbidi \fswiss\fcharset161\fprq2 Calibri Greek;}{\fhiminor\f31572\fbidi \fswiss\fcharset162\fprq2 Calibri Tur;}{\fhiminor\f31575\fbidi \fswiss\fcharset186\fprq2 Calibri Baltic;}
{\fhiminor\f31576\fbidi \fswiss\fcharset163\fprq2 Calibri (Vietnamese);}{\fbiminor\f31578\fbidi \froman\fcharset238\fprq2 Times New Roman CE{\*\falt Times New Roman};}
{\fbiminor\f31579\fbidi \froman\fcharset204\fprq2 Times New Roman Cyr{\*\falt Times New Roman};}{\fbiminor\f31581\fbidi \froman\fcharset161\fprq2 Times New Roman Greek{\*\falt Times New Roman};}
{\fbiminor\f31582\fbidi \froman\fcharset162\fprq2 Times New Roman Tur{\*\falt Times New Roman};}{\fbiminor\f31583\fbidi \froman\fcharset177\fprq2 Times New Roman (Hebrew){\*\falt Times New Roman};}
{\fbiminor\f31584\fbidi \froman\fcharset178\fprq2 Times New Roman (Arabic){\*\falt Times New Roman};}{\fbiminor\f31585\fbidi \froman\fcharset186\fprq2 Times New Roman Baltic{\*\falt Times New Roman};}
{\fbiminor\f31586\fbidi \froman\fcharset163\fprq2 Times New Roman (Vietnamese){\*\falt Times New Roman};}}{\colortbl;\red0\green0\blue0;\red0\green0\blue255;\red0\green255\blue255;\red0\green255\blue0;\red255\green0\blue255;\red255\green0\blue0;
\red255\green255\blue0;\red255\green255\blue255;\red0\green0\blue128;\red0\green128\blue128;\red0\green128\blue0;\red128\green0\blue128;\red128\green0\blue0;\red128\green128\blue0;\red128\green128\blue128;\red192\green192\blue192;}{\*\defchp 
\fs22\loch\af31506\hich\af31506\dbch\af31505 }{\*\defpap \ql \li0\ri0\sa200\sl276\slmult1\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0 }\noqfpromote {\stylesheet{
\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\loch\f0\hich\af0\dbch\af31505\cgrid\langnp1033\langfenp2070 \snext0 \sqformat \spriority0 Normal;}{
\s1\ql \li0\ri0\sb240\sa60\keepn\widctlpar\wrapdefault\faauto\outlinelevel0\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \ab\af1\afs28\alang1025 \ltrch\fcs0 \b\fs28\lang1033\langfe2070\kerning28\loch\f1\hich\af1\dbch\af31505\cgrid\langnp1033\langfenp2070 
\sbasedon0 \snext0 \slink15 \sqformat heading 1;}{\*\cs10 \additive Default Paragraph Font;}{\*
\ts11\tsrowd\trftsWidthB3\trpaddl108\trpaddr108\trpaddfl3\trpaddft3\trpaddfb3\trpaddfr3\trcbpat1\trcfpat1\tblind0\tblindtype3\tsvertalt\tsbrdrt\tsbrdrl\tsbrdrb\tsbrdrr\tsbrdrdgl\tsbrdrdgr\tsbrdrh\tsbrdrv \ql \li0\ri0\sa200\sl276\slmult1
\widctlpar\wrapdefault\aspalpha\aspnum\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs22\alang1025 \ltrch\fcs0 \fs22\lang2070\langfe2070\loch\f31506\hich\af31506\dbch\af31505\cgrid\langnp2070\langfenp2070 \snext11 \ssemihidden \sunhideused 
Normal Table;}{\*\cs15 \additive \rtlch\fcs1 \ab\af0\afs32 \ltrch\fcs0 \b\fs32\lang1033\langfe0\kerning32\loch\f31502\hich\af31502\dbch\af31501\langnp1033\langfenp0 \sbasedon10 \slink1 \slocked \spriority9 Heading 1 Char;}{
\s16\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0 \shading2000 \rtlch\fcs1 \af2\afs20\alang1025 \ltrch\fcs0 \fs20\lang1024\langfe1024\loch\f2\hich\af2\dbch\af31505\cgrid\noproof\langnp1033\langfenp2070 \snext16 VDM;}{\*\cs17 
\additive \rtlch\fcs1 \af5 \ltrch\fcs0 \f5\chshdng2000\chcfpat0\chcbpat0 \sbasedon10 VDM_COV;}{\*\cs18 \additive \rtlch\fcs1 \af5 \ltrch\fcs0 \f5\cf6\chshdng2000\chcfpat0\chcbpat0 \sbasedon10 VDM_NCOV;}{
\s19\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0 \shading2000 \rtlch\fcs1 \af2\afs20\alang1025 \ltrch\fcs0 \fs20\lang1024\langfe1024\loch\f2\hich\af2\dbch\af31505\cgrid\noproof\langnp1033\langfenp2070 \sbasedon16 \snext19 
VDM_TC_TABLE;}{\s20\qj \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af2\afs20\alang1025 \ltrch\fcs0 \fs20\lang2057\langfe2070\loch\f2\hich\af2\dbch\af31505\cgrid\langnp2057\langfenp2070 \sbasedon0 \snext20 \slink21 
Plain Text;}{\*\cs21 \additive \rtlch\fcs1 \af2\afs20 \ltrch\fcs0 \f2\fs20\lang1033\langfe0\langnp1033\langfenp0 \sbasedon10 \slink20 \slocked \ssemihidden Plain Text Char;}}{\*\rsidtbl \rsid6766\rsid26674\rsid94603\rsid151745\rsid275549\rsid422392
\rsid468689\rsid600397\rsid671404\rsid796113\rsid939702\rsid1118595\rsid1127929\rsid1250522\rsid1259078\rsid1449348\rsid1517291\rsid1653729\rsid1776505\rsid1837233\rsid1858508\rsid1930718\rsid1972299\rsid1986626\rsid2124234\rsid2163693\rsid2179258
\rsid2301821\rsid2366990\rsid2378061\rsid2382450\rsid2384843\rsid2391668\rsid2431840\rsid2437172\rsid2492507\rsid2645678\rsid2646528\rsid2696967\rsid3094211\rsid3224310\rsid3237720\rsid3483577\rsid3546209\rsid3568169\rsid3634349\rsid3736642\rsid3827436
\rsid3933063\rsid4024111\rsid4152008\rsid4216419\rsid4271964\rsid4333510\rsid4669010\rsid4729591\rsid4735450\rsid4812377\rsid5052012\rsid5060120\rsid5259739\rsid5267777\rsid5273928\rsid5468503\rsid5471577\rsid5536719\rsid5723956\rsid5770533\rsid5798203
\rsid5900671\rsid5975736\rsid6296347\rsid6322777\rsid6378565\rsid6381214\rsid6488902\rsid6489212\rsid6561365\rsid6623270\rsid6694488\rsid6837631\rsid6847148\rsid6896279\rsid7018809\rsid7293892\rsid7300694\rsid7301052\rsid7556085\rsid7621370\rsid7667765
\rsid7671936\rsid7679070\rsid7685079\rsid7741693\rsid7813029\rsid7827151\rsid7872749\rsid7948952\rsid8074377\rsid8145559\rsid8156064\rsid8199542\rsid8289529\rsid8410488\rsid8470637\rsid8471725\rsid8477890\rsid8599959\rsid8746975\rsid8858980\rsid9129437
\rsid9324790\rsid9401934\rsid9451997\rsid9461454\rsid9918351\rsid10177641\rsid10178476\rsid10186081\rsid10386627\rsid10554604\rsid10648437\rsid10758967\rsid10827055\rsid10951226\rsid10957936\rsid11218002\rsid11233261\rsid11299136\rsid11365171\rsid11615779
\rsid11628564\rsid11677537\rsid11684870\rsid11799336\rsid11938822\rsid12129334\rsid12256165\rsid12281080\rsid12337773\rsid12340774\rsid12475970\rsid12540321\rsid12742114\rsid12849358\rsid12859407\rsid13113967\rsid13129621\rsid13174136\rsid13186204
\rsid13257387\rsid13319288\rsid13374139\rsid13435516\rsid13442114\rsid13525758\rsid13638389\rsid13652620\rsid13699672\rsid13966824\rsid14105016\rsid14244482\rsid14381976\rsid14514240\rsid14815915\rsid14840820\rsid15037809\rsid15100555\rsid15160181
\rsid15169488\rsid15343264\rsid15367868\rsid15417211\rsid15418042\rsid15557003\rsid15999888\rsid16073342\rsid16200991\rsid16216604\rsid16673426\rsid16733223}{\mmathPr\mmathFont34\mbrkBin0\mbrkBinSub0\msmallFrac0\mdispDef1\mlMargin0\mrMargin0\mdefJc1
\mwrapIndent1440\mintLim0\mnaryLim1}{\info{\title The Tree Class}{\author Peter Gorm Larsen}{\operator abeldantas}{\creatim\yr2012\mo11\dy21\hr13\min5}{\revtim\yr2012\mo12\dy6\hr16\min58}{\version208}{\edmins235}{\nofpages2}{\nofwords283}{\nofchars1534}
{\*\company CSK}{\nofcharsws1814}{\vern49247}}{\*\xmlnstbl {\xmlns1 http://schemas.microsoft.com/office/word/2003/wordml}}\paperw11900\paperh16840\margl1149\margr1149\margt1138\margb1138\gutter0\ltrsect 
\widowctrl\ftnbj\aenddoc\hyphhotz425\trackmoves0\trackformatting1\donotembedsysfont0\relyonvml0\donotembedlingdata1\grfdocevents0\validatexml0\showplaceholdtext0\ignoremixedcontent0\saveinvalidxml0\showxmlerrors0\formshade\horzdoc\dghspace120\dgvspace120
\dghorigin1701\dgvorigin1984\dghshow0\dgvshow3\jcompress\viewkind1\viewscale100\pgbrdrhead\pgbrdrfoot\rsidroot1858508 \fet0{\*\wgrffmtfilter 2450}\ilfomacatclnup0{\*\template C:\\Programmer\\Microsoft Office\\Templates\\VDM.dot}\ltrpar \sectd \ltrsect
\linex0\headery709\footery709\colsx709\endnhere\sectdefaultcl\sftnbj {\*\pnseclvl1\pnucrm\pnstart1\pnindent720\pnhang {\pntxta .}}{\*\pnseclvl2\pnucltr\pnstart1\pnindent720\pnhang {\pntxta .}}{\*\pnseclvl3\pndec\pnstart1\pnindent720\pnhang {\pntxta .}}
{\*\pnseclvl4\pnlcltr\pnstart1\pnindent720\pnhang {\pntxta )}}{\*\pnseclvl5\pndec\pnstart1\pnindent720\pnhang {\pntxtb (}{\pntxta )}}{\*\pnseclvl6\pnlcltr\pnstart1\pnindent720\pnhang {\pntxtb (}{\pntxta )}}{\*\pnseclvl7\pnlcrm\pnstart1\pnindent720\pnhang 
{\pntxtb (}{\pntxta )}}{\*\pnseclvl8\pnlcltr\pnstart1\pnindent720\pnhang {\pntxtb (}{\pntxta )}}{\*\pnseclvl9\pnlcrm\pnstart1\pnindent720\pnhang {\pntxtb (}{\pntxta )}}\pard\plain \ltrpar
\s1\ql \li0\ri0\sb240\sa60\keepn\widctlpar\wrapdefault\faauto\outlinelevel0\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \ab\af1\afs28\alang1025 \ltrch\fcs0 \b\fs28\lang1033\langfe2070\kerning28\loch\af1\hich\af1\dbch\af31505\cgrid\langnp1033\langfenp2070 {
\rtlch\fcs1 \af1 \ltrch\fcs0 \insrsid1858508 \hich\af1\dbch\af31505\loch\f1 The UML}{\rtlch\fcs1 \af1 \ltrch\fcs0 \insrsid1653729 \hich\af1\dbch\af31505\loch\f1  Class
\par }\pard\plain \ltrpar\s16\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0 \shading2000 \rtlch\fcs1 \af2\afs20\alang1025 \ltrch\fcs0 \fs20\lang1024\langfe1024\loch\af2\hich\af2\dbch\af31505\cgrid\noproof\langnp1033\langfenp2070 {
\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1858508 \hich\af2\dbch\af31505\loch\f2 class UML}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1653729 
\par }\pard\plain \ltrpar\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\loch\af0\hich\af0\dbch\af31505\cgrid\langnp1033\langfenp2070 {\rtlch\fcs1 \af0 \ltrch\fcs0 
\insrsid1653729 
\par }\pard\plain \ltrpar\s16\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0 \shading2000 \rtlch\fcs1 \af2\afs20\alang1025 \ltrch\fcs0 \fs20\lang1024\langfe1024\loch\af2\hich\af2\dbch\af31505\cgrid\noproof\langnp1033\langfenp2070 {
\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1653729 \hich\af2\dbch\af31505\loch\f2 types
\par }\pard \ltrpar\s16\ql \fi720\li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0\pararsid5471577 \shading2000 {\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid7667765\charrsid9401934 \hich\af2\dbch\af31505\loch\f2 public String = seq of char;}{
\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1653729 
\par }\pard\plain \ltrpar\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\loch\af0\hich\af0\dbch\af31505\cgrid\langnp1033\langfenp2070 {\rtlch\fcs1 \af0 \ltrch\fcs0 
\insrsid1653729 
\par }\pard\plain \ltrpar\s16\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0 \shading2000 \rtlch\fcs1 \af2\afs20\alang1025 \ltrch\fcs0 \fs20\lang1024\langfe1024\loch\af2\hich\af2\dbch\af31505\cgrid\noproof\langnp1033\langfenp2070 {
\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1653729 \hich\af2\dbch\af31505\loch\f2 instance variables
\par }\pard \ltrpar\s16\ql \fi720\li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0\pararsid5471577 \shading2000 {\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1653729 \hich\af2\dbch\af31505\loch\f2 protected}{\rtlch\fcs1 \af2 \ltrch\fcs0 
\insrsid5770533 \hich\af2\dbch\af31505\loch\f2  }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1858508 \hich\af2\dbch\af31505\loch\f2 startState}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1653729 \hich\af2\dbch\af31505\loch\f2 : }{\rtlch\fcs1 \af2 \ltrch\fcs0 
\insrsid6322777 \hich\af2\dbch\af31505\loch\f2 State;}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1653729 
\par }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid3094211 \hich\af2\dbch\af31505\loch\f2 public}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid14381976 \hich\af2\dbch\af31505\loch\f2  allStates: }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid7667765 \hich\af2\dbch\af31505\loch\f2 
map String to State}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid13129621 \hich\af2\dbch\af31505\loch\f2  := \{}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid12256165 \hich\af2\dbch\af31505\loch\f2 |->}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid13129621 \}}{\rtlch\fcs1 \af2 
\ltrch\fcs0 \insrsid7667765 \hich\af2\dbch\af31505\loch\f2 ;}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid5770533 
\par }\pard\plain \ltrpar\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\loch\af0\hich\af0\dbch\af31505\cgrid\langnp1033\langfenp2070 {\rtlch\fcs1 \af0 \ltrch\fcs0 
\insrsid1653729 
\par }\pard\plain \ltrpar\s16\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0 \shading2000 \rtlch\fcs1 \af2\afs20\alang1025 \ltrch\fcs0 \fs20\lang1024\langfe1024\loch\af2\hich\af2\dbch\af31505\cgrid\noproof\langnp1033\langfenp2070 {
\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1653729 \hich\af2\dbch\af31505\loch\f2 operations
\par }\pard\plain \ltrpar\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\loch\af0\hich\af0\dbch\af31505\cgrid\langnp1033\langfenp2070 {\rtlch\fcs1 \af0 \ltrch\fcs0 
\insrsid1653729 
\par }\pard\plain \ltrpar\s16\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0\pararsid6322777 \shading2000 \rtlch\fcs1 \af2\afs20\alang1025 \ltrch\fcs0 
\fs20\lang1024\langfe1024\loch\af2\hich\af2\dbch\af31505\cgrid\noproof\langnp1033\langfenp2070 {\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid6322777 \hich\af2\dbch\af31505\loch\f2 public UML : State}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid2437172 
\hich\af2\dbch\af31505\loch\f2  * }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1517291 \hich\af2\dbch\af31505\loch\f2 set of State}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid2437172 \hich\af2\dbch\af31505\loch\f2  ==> UML
\par \hich\af2\dbch\af31505\loch\f2 UML(}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid3634349 \hich\af2\dbch\af31505\loch\f2 sState}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid2437172 ,}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid11218002 \hich\af2\dbch\af31505\loch\f2 states}{
\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid2437172 \hich\af2\dbch\af31505\loch\f2 ) ==
\par }\pard \ltrpar\s16\ql \fi720\li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0\pararsid13638389 \shading2000 {\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid2437172 \hich\af2\dbch\af31505\loch\f2 (
\par }\pard \ltrpar\s16\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0\pararsid6322777 \shading2000 {\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid2437172 \tab \hich\af2\dbch\af31505\loch\f2 mapStates(}{\rtlch\fcs1 \af2 \ltrch\fcs0 
\insrsid8199542 \hich\af2\dbch\af31505\loch\f2 states}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid2437172 \hich\af2\dbch\af31505\loch\f2 );
\par }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid8471725 \tab \hich\af2\dbch\af31505\loch\f2 addStartState(sState)
\par }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid2437172 \tab \hich\af2\dbch\af31505\loch\f2 )
\par \hich\af2\dbch\af31505\loch\f2 pre }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid5975736 \hich\af2\dbch\af31505\loch\f2 card}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid2437172 \hich\af2\dbch\af31505\loch\f2 (}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid7301052 
\hich\af2\dbch\af31505\loch\f2 states}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid2437172 \hich\af2\dbch\af31505\loch\f2 ) > 0;
\par }\pard\plain \ltrpar\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\loch\af0\hich\af0\dbch\af31505\cgrid\langnp1033\langfenp2070 {\rtlch\fcs1 \af0 \ltrch\fcs0 
\insrsid6322777 
\par }\pard\plain \ltrpar\s16\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0\pararsid13257387 \shading2000 \rtlch\fcs1 \af2\afs20\alang1025 \ltrch\fcs0 
\fs20\lang1024\langfe1024\loch\af2\hich\af2\dbch\af31505\cgrid\noproof\langnp1033\langfenp2070 {\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid13257387 \hich\af2\dbch\af31505\loch\f2 private mapStates : set of}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1986626 
\hich\af2\dbch\af31505\loch\f2  State}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid13257387 \hich\af2\dbch\af31505\loch\f2  ==>()
\par }\pard \ltrpar\s16\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0\pararsid5060120 \shading2000 {\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid13257387 \hich\af2\dbch\af31505\loch\f2 ma\hich\af2\dbch\af31505\loch\f2 pStates(}{\rtlch\fcs1 \af2 
\ltrch\fcs0 \insrsid9129437 \hich\af2\dbch\af31505\loch\f2 s}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid13257387 \hich\af2\dbch\af31505\loch\f2 t}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid9129437 \hich\af2\dbch\af31505\loch\f2 ates}{\rtlch\fcs1 \af2 \ltrch\fcs0 
\insrsid13257387 \hich\af2\dbch\af31505\loch\f2 ) ==}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid5060120 \hich\af2\dbch\af31505\loch\f2  return}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid13186204 
\par }\pard \ltrpar\s16\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0\pararsid13257387 \shading2000 {\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid2696967 \hich\af2\dbch\af31505\loch\f2 pre forall s in set states & addState(s);
\par }\pard\plain \ltrpar\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\loch\af0\hich\af0\dbch\af31505\cgrid\langnp1033\langfenp2070 {\rtlch\fcs1 \af0 \ltrch\fcs0 
\insrsid13257387 
\par }\pard\plain \ltrpar\s16\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0\pararsid13257387 \shading2000 \rtlch\fcs1 \af2\afs20\alang1025 \ltrch\fcs0 
\fs20\lang1024\langfe1024\loch\af2\hich\af2\dbch\af31505\cgrid\noproof\langnp1033\langfenp2070 {\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid14105016 \hich\af2\dbch\af31505\loch\f2 public}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid13257387 
\hich\af2\dbch\af31505\loch\f2  addState: State ==>}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid13435516 \hich\af2\dbch\af31505\loch\f2 bool}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid13257387 
\par \hich\af2\dbch\af31505\loch\f2 addState(state) ==
\par \tab \hich\af2\dbch\af31505\loch\f2 (
\par \tab \hich\af2\dbch\af31505\loch\f2 allStates := allStates }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid11365171 \hich\af2\dbch\af31505\loch\f2 ++}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid13257387 \hich\af2\dbch\af31505\loch\f2  }{\rtlch\fcs1 \af2 \ltrch\fcs0 
\insrsid6623270 \{}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid4333510 \hich\af2\dbch\af31505\loch\f2 state.getName() |-> }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid13257387 \hich\af2\dbch\af31505\loch\f2 state}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid6623270 \}}{
\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid13113967 \hich\af2\dbch\af31505\loch\f2 ;}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid13257387 
\par }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid8410488 \tab \hich\af2\dbch\af31505\loch\f2 return true;
\par }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid15100555 \tab \hich\af2\dbch\af31505\loch\f2 )}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid13257387 
\par }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid12540321 \hich\af2\dbch\af31505\loch\f2 post (state in }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid2646528 \hich\af2\dbch\af31505\loch\f2 set }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid12540321 \hich\af2\dbch\af31505\loch\f2 
rng allStates)}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid4735450 \hich\af2\dbch\af31505\loch\f2  and}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid12540321 \hich\af2\dbch\af31505\loch\f2  (state.getName() in }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid2646528 
\hich\af2\dbch\af31505\loch\f2 set }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid12540321 \hich\af2\dbch\af31505\loch\f2 dom allStates);
\par }\pard\plain \ltrpar\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\loch\af0\hich\af0\dbch\af31505\cgrid\langnp1033\langfenp2070 {\rtlch\fcs1 \af0 \ltrch\fcs0 
\insrsid13257387 
\par }\pard\plain \ltrpar\s16\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0 \shading2000 \rtlch\fcs1 \af2\afs20\alang1025 \ltrch\fcs0 \fs20\lang1024\langfe1024\loch\af2\hich\af2\dbch\af31505\cgrid\noproof\langnp1033\langfenp2070 {
\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid7741693 \hich\af2\dbch\af31505\loch\f2 public}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1858508 \hich\af2\dbch\af31505\loch\f2  states}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1653729 \hich\af2\dbch\af31505\loch\f2  : () ==> 
}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid10957936 \hich\af2\dbch\af31505\loch\f2 map String}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1653729 \hich\af2\dbch\af31505\loch\f2  }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid10957936 \hich\af2\dbch\af31505\loch\f2 to}{
\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1653729 \hich\af2\dbch\af31505\loch\f2  }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1858508 \hich\af2\dbch\af31505\loch\f2 State}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1653729 
\par }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1858508 \hich\af2\dbch\af31505\loch\f2     states}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1653729 \hich\af2\dbch\af31505\loch\f2  () ==}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid14244482 \hich\af2\dbch\af31505\loch\f2 
 return allStates;}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1653729 
\par }\pard\plain \ltrpar\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\loch\af0\hich\af0\dbch\af31505\cgrid\langnp1033\langfenp2070 {\rtlch\fcs1 \af0 \ltrch\fcs0 
\insrsid10957936 
\par }\pard\plain \ltrpar\s16\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0 \shading2000 \rtlch\fcs1 \af2\afs20\alang1025 \ltrch\fcs0 \fs20\lang1024\langfe1024\loch\af2\hich\af2\dbch\af31505\cgrid\noproof\langnp1033\langfenp2070 {
\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid796113 \hich\af2\dbch\af31505\loch\f2 public }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1653729 \hich\af2\dbch\af31505\loch\f2 add}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1858508 \hich\af2\dbch\af31505\loch\f2 StartState}{
\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1653729 \hich\af2\dbch\af31505\loch\f2  : }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1858508 \hich\af2\dbch\af31505\loch\f2 State}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1653729 \hich\af2\dbch\af31505\loch\f2  ==> ()
\par }\pard \ltrpar\s16\ql \fi720\li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0\pararsid2391668 \shading2000 {\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid13966824 \hich\af2\dbch\af31505\loch\f2 addStartState }{\rtlch\fcs1 \af2 \ltrch\fcs0 
\insrsid1653729 \hich\af2\dbch\af31505\loch\f2 (x) ==
\par }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid13966824 \hich\af2\dbch\af31505\loch\f2 startState }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1653729 \hich\af2\dbch\af31505\loch\f2 := }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid13966824 \hich\af2\dbch\af31505\loch\f2 x}{
\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1653729 
\par }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid7667765 \hich\af2\dbch\af31505\loch\f2 pre}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid6296347 \hich\af2\dbch\af31505\loch\f2  }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid8471725 \hich\af2\dbch\af31505\loch\f2 (}{\rtlch\fcs1 
\af2 \ltrch\fcs0 \insrsid3933063 \hich\af2\dbch\af31505\loch\f2 stateExists(}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid6296347 \hich\af2\dbch\af31505\loch\f2 x}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid3933063 \hich\af2\dbch\af31505\loch\f2 )}{\rtlch\fcs1 \af2 
\ltrch\fcs0 \insrsid8471725 \hich\af2\dbch\af31505\loch\f2 ) }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid8289529 \hich\af2\dbch\af31505\loch\f2 and}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid8471725 \hich\af2\dbch\af31505\loch\f2  (}{\rtlch\fcs1 \af2 \ltrch\fcs0 
\insrsid3933063 \hich\af2\dbch\af31505\loch\f2 stateExists(x.getName())}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid8471725 \hich\af2\dbch\af31505\loch\f2 )}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1449348 \hich\af2\dbch\af31505\loch\f2 ;}{\rtlch\fcs1 \af2 
\ltrch\fcs0 \insrsid7667765 
\par }\pard\plain \ltrpar\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\loch\af0\hich\af0\dbch\af31505\cgrid\langnp1033\langfenp2070 {\rtlch\fcs1 \af0 \ltrch\fcs0 
\insrsid1653729 
\par }\pard\plain \ltrpar\s16\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0\pararsid11799336 \shading2000 \rtlch\fcs1 \af2\afs20\alang1025 \ltrch\fcs0 
\fs20\lang1024\langfe1024\loch\af2\hich\af2\dbch\af31505\cgrid\noproof\langnp1033\langfenp2070 {\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid11799336 \hich\af2\dbch\af31505\loch\f2 public search}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid5798203 
\hich\af2\dbch\af31505\loch\f2 Start}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid11799336 \hich\af2\dbch\af31505\loch\f2 : int ==> s\hich\af2\dbch\af31505\loch\f2 et of seq of State
\par }\pard \ltrpar\s16\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0\pararsid5536719 \shading2000 {\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid8470637 \hich\af2\dbch\af31505\loch\f2 search}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid5798203 
\hich\af2\dbch\af31505\loch\f2 Start}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid8470637 \hich\af2\dbch\af31505\loch\f2 (n) ==}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid5536719 \hich\af2\dbch\af31505\loch\f2  }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid10178476 
\hich\af2\dbch\af31505\loch\f2 return }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid8470637 \hich\af2\dbch\af31505\loch\f2 startState.search(}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid13525758 \hich\af2\dbch\af31505\loch\f2 [}{\rtlch\fcs1 \af2 \ltrch\fcs0 
\insrsid10648437 \hich\af2\dbch\af31505\loch\f2 startState}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid13525758 \hich\af2\dbch\af31505\loch\f2 ]}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid10648437 \hich\af2\dbch\af31505\loch\f2 , \{\},}{\rtlch\fcs1 \af2 \ltrch\fcs0 
\insrsid8470637 \hich\af2\dbch\af31505\loch\f2 n)
\par }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid8471725 \hich\af2\dbch\af31505\loch\f2 pre n > 0}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid15999888 \hich\af2\dbch\af31505\loch\f2  and allStates <> \{\hich\af2\dbch\af31505\loch\f2 |->\}}{\rtlch\fcs1 \af2 \ltrch\fcs0 
\insrsid8471725 \hich\af2\dbch\af31505\loch\f2 ;
\par }\pard\plain \ltrpar\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\loch\af0\hich\af0\dbch\af31505\cgrid\langnp1033\langfenp2070 {\rtlch\fcs1 \af0 \ltrch\fcs0 
\insrsid11799336 
\par }\pard\plain \ltrpar\s16\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0\pararsid3933063 \shading2000 \rtlch\fcs1 \af2\afs20\alang1025 \ltrch\fcs0 
\fs20\lang1024\langfe1024\loch\af2\hich\af2\dbch\af31505\cgrid\noproof\langnp1033\langfenp2070 {\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid3933063 \hich\af2\dbch\af31505\loch\f2 public stateExists : String ==> bool
\par \hich\af2\dbch\af31505\loch\f2 stateExists(stateName) ==
\par }\pard \ltrpar\s16\ql \fi720\li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0\pararsid3933063 \shading2000 {\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid3933063 \hich\af2\dbch\af31505\loch\f2 if (stateName in set dom allStates)
\par \hich\af2\dbch\af31505\loch\f2 then return true
\par \hich\af2\dbch\af31505\loch\f2 else return false;
\par }\pard\plain \ltrpar\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\loch\af0\hich\af0\dbch\af31505\cgrid\langnp1033\langfenp2070 {\rtlch\fcs1 \af0 \ltrch\fcs0 
\insrsid8470637 
\par }\pard\plain \ltrpar\s16\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0\pararsid3933063 \shading2000 \rtlch\fcs1 \af2\afs20\alang1025 \ltrch\fcs0 
\fs20\lang1024\langfe1024\loch\af2\hich\af2\dbch\af31505\cgrid\noproof\langnp1033\langfenp2070 {\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid3933063 \hich\af2\dbch\af31505\loch\f2 public stateExists : State ==> bool
\par \hich\af2\dbch\af31505\loch\f2 stateExists(}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1776505 \hich\af2\dbch\af31505\loch\f2 state}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid3933063 \hich\af2\dbch\af31505\loch\f2 ) ==
\par }\pard \ltrpar\s16\ql \fi720\li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0\pararsid3933063 \shading2000 {\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1776505 \hich\af2\dbch\af31505\loch\f2 if (state}{\rtlch\fcs1 \af2 \ltrch\fcs0 
\insrsid3933063 \hich\af2\dbch\af31505\loch\f2  in set rng allStates)
\par \hich\af2\dbch\af31505\loch\f2 then return true
\par \hich\af2\dbch\af31505\loch\f2 else return false;
\par }\pard\plain \ltrpar\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\loch\af0\hich\af0\dbch\af31505\cgrid\langnp1033\langfenp2070 {\rtlch\fcs1 \af0 \ltrch\fcs0 
\insrsid3933063 
\par }\pard\plain \ltrpar\s16\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0 \shading2000 \rtlch\fcs1 \af2\afs20\alang1025 \ltrch\fcs0 \fs20\lang1024\langfe1024\loch\af2\hich\af2\dbch\af31505\cgrid\noproof\langnp1033\langfenp2070 {
\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid2179258 \hich\af2\dbch\af31505\loch\f2 public}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1653729 \hich\af2\dbch\af31505\loch\f2  }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid13966824 \hich\af2\dbch\af31505\loch\f2 getStartState}{
\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1653729 \hich\af2\dbch\af31505\loch\f2  : () ==> }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid13966824 \hich\af2\dbch\af31505\loch\f2 State}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1653729 
\par }\pard \ltrpar\s16\ql \fi720\li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0\pararsid8471725 \shading2000 {\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid13966824 \hich\af2\dbch\af31505\loch\f2 getStartState}{\rtlch\fcs1 \af2 \ltrch\fcs0 
\insrsid1653729 \hich\af2\dbch\af31505\loch\f2  () == return }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid13966824 \hich\af2\dbch\af31505\loch\f2 startState}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid2378061 \hich\af2\dbch\af31505\loch\f2 ;}{\rtlch\fcs1 \af2 
\ltrch\fcs0 \insrsid1653729 
\par }\pard\plain \ltrpar\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\loch\af0\hich\af0\dbch\af31505\cgrid\langnp1033\langfenp2070 {\rtlch\fcs1 \af0 \ltrch\fcs0 
\insrsid1653729 
\par }\pard\plain \ltrpar\s16\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0 \shading2000 \rtlch\fcs1 \af2\afs20\alang1025 \ltrch\fcs0 \fs20\lang1024\langfe1024\loch\af2\hich\af2\dbch\af31505\cgrid\noproof\langnp1033\langfenp2070 {
\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid10957936 \hich\af2\dbch\af31505\loch\f2 public}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1653729 \hich\af2\dbch\af31505\loch\f2  isEmpty : () ==> bool
\par }\pard \ltrpar\s16\ql \fi720\li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0\pararsid8599959 \shading2000 {\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1653729 \hich\af2\dbch\af31505\loch\f2 isEmpty () == return }{\rtlch\fcs1 \af2 \ltrch\fcs0 
\insrsid7827151 \hich\af2\dbch\af31505\loch\f2 (no\hich\af2\dbch\af31505\loch\f2 t }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1653729 \hich\af2\dbch\af31505\loch\f2 (}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid2645678 \hich\af2\dbch\af31505\loch\f2 
rng allStates <> \{\}}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1653729 \hich\af2\dbch\af31505\loch\f2 )}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid7827151 \hich\af2\dbch\af31505\loch\f2 )}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1653729 
\hich\af2\dbch\af31505\loch\f2 ;
\par }\pard\plain \ltrpar\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\loch\af0\hich\af0\dbch\af31505\cgrid\langnp1033\langfenp2070 {\rtlch\fcs1 \af0 \ltrch\fcs0 
\insrsid10957936 
\par }\pard\plain \ltrpar\s16\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0\pararsid5770533 \shading2000 \rtlch\fcs1 \af2\afs20\alang1025 \ltrch\fcs0 
\fs20\lang1024\langfe1024\loch\af2\hich\af2\dbch\af31505\cgrid\noproof\langnp1033\langfenp2070 {\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid11677537 \hich\af2\dbch\af31505\loch\f2 public }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid5770533 
\hich\af2\dbch\af31505\loch\f2 verifyPath}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid9461454 \hich\af2\dbch\af31505\loch\f2  }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid5770533 \hich\af2\dbch\af31505\loch\f2 : seq of State ==> bool}{\rtlch\fcs1 \af2 \ltrch\fcs0 
\insrsid1653729 
\par }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid9461454 \hich\af2\dbch\af31505\loch\f2 verifyPath(trace) ==
\par }\pard \ltrpar\s16\ql \fi720\li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0\pararsid10386627 \shading2000 {\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid468689 \hich\af2\dbch\af31505\loch\f2 (}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid9461454 
\hich\af2\dbch\af31505\loch\f2 dcl allSeqs : set of seq of State := search}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid5798203 \hich\af2\dbch\af31505\loch\f2 Start}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid9461454 \hich\af2\dbch\af31505\loch\f2 (len trace)}{
\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid10186081 \hich\af2\dbch\af31505\loch\f2 ;}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid9461454 
\par \hich\af2\dbch\af31505\loch\f2 if(trace in}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1259078 \hich\af2\dbch\af31505\loch\f2  set}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid9461454 \hich\af2\dbch\af31505\loch\f2  allSeqs)
\par \hich\af2\dbch\af31505\loch\f2 then return true
\par \hich\af2\dbch\af31505\loch\f2 else return false}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid468689 \hich\af2\dbch\af31505\loch\f2 )}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid9461454 
\par }\pard \ltrpar\s16\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0\pararsid10386627 \shading2000 {\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid10386627 \hich\af2\dbch\af31505\loch\f2 pre (len(trace)>0) }{\rtlch\fcs1 \af2 \ltrch\fcs0 
\insrsid8746975 \hich\af2\dbch\af31505\loch\f2 and}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid10386627 \hich\af2\dbch\af31505\loch\f2  (hd trace)}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid15367868 \hich\af2\dbch\af31505\loch\f2  = startSt
\hich\af2\dbch\af31505\loch\f2 ate}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid7813029 \hich\af2\dbch\af31505\loch\f2  and trace <> []}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid10386627 
\par }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid7685079 \hich\af2\dbch\af31505\loch\f2 post elems trace }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid10386627 \hich\af2\dbch\af31505\loch\f2 subset rng allStates;
\par }\pard\plain \ltrpar\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\loch\af0\hich\af0\dbch\af31505\cgrid\langnp1033\langfenp2070 {\rtlch\fcs1 \af0 \ltrch\fcs0 
\insrsid13652620 
\par }\pard\plain \ltrpar\s16\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0\pararsid5273928 \shading2000 \rtlch\fcs1 \af2\afs20\alang1025 \ltrch\fcs0 
\fs20\lang1024\langfe1024\loch\af2\hich\af2\dbch\af31505\cgrid\noproof\langnp1033\langfenp2070 {\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid5273928 \hich\af2\dbch\af31505\loch\f2 public getState : String ==> State
\par }\pard \ltrpar\s16\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0\pararsid13699672 \shading2000 {\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid5273928 \hich\af2\dbch\af31505\loch\f2 getState(stateName) ==}{\rtlch\fcs1 \af2 \ltrch\fcs0 
\insrsid13699672 \hich\af2\dbch\af31505\loch\f2  return }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid4669010 \hich\af2\dbch\af31505\loch\f2 allStates}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid13699672 \hich\af2\dbch\af31505\loch\f2 (stateName)
\par \hich\af2\dbch\af31505\loch\f2 pre stateExists(stateName);
\par }\pard\plain \ltrpar\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\loch\af0\hich\af0\dbch\af31505\cgrid\langnp1033\langfenp2070 {\rtlch\fcs1 \af0 \ltrch\fcs0 
\insrsid5273928\charrsid15100555 
\par }\pard\plain \ltrpar\s16\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0 \shading2000 \rtlch\fcs1 \af2\afs20\alang1025 \ltrch\fcs0 \fs20\lang1024\langfe1024\loch\af2\hich\af2\dbch\af31505\cgrid\noproof\langnp1033\langfenp2070 {
\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1653729 \hich\af2\dbch\af31505\loch\f2 end }{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid5259739 \hich\af2\dbch\af31505\loch\f2 UML}{\rtlch\fcs1 \af2 \ltrch\fcs0 \insrsid1653729 
\par }\pard\plain \ltrpar\s20\qj \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0\pararsid9918351 \rtlch\fcs1 \af2\afs20\alang1025 \ltrch\fcs0 \fs20\lang2057\langfe2070\loch\af2\hich\af2\dbch\af31505\cgrid\langnp2057\langfenp2070 {\rtlch\fcs1 
\af2 \ltrch\fcs0 \insrsid9918351 
\par }\pard\plain \ltrpar\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0\pararsid9918351 \rtlch\fcs1 \af0\afs20\alang1025 \ltrch\fcs0 \fs20\lang1033\langfe2070\loch\af0\hich\af0\dbch\af31505\cgrid\langnp1033\langfenp2070 {\rtlch\fcs1 
\af0 \ltrch\fcs0 \lang1030\langfe2070\langnp1030\insrsid9918351 \hich\af0\dbch\af31505\loch\f0 TESTES:
\par }\pard\plain \ltrpar\s19\ql \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0\pararsid9918351 \shading2000 \rtlch\fcs1 \af2\afs20\alang1025 \ltrch\fcs0 
\fs20\lang1024\langfe1024\loch\af2\hich\af2\dbch\af31505\cgrid\noproof\langnp1033\langfenp2070 {\rtlch\fcs1 \af2 \ltrch\fcs0 \lang1024\langfe1024\langnp1030\insrsid9918351 \hich\af2\dbch\af31505\loch\f2 UML
\par }\pard\plain \ltrpar\s20\qj \li0\ri0\widctlpar\wrapdefault\faauto\adjustright\rin0\lin0\itap0\pararsid9918351 \rtlch\fcs1 \af2\afs20\alang1025 \ltrch\fcs0 \fs20\lang2057\langfe2070\loch\af2\hich\af2\dbch\af31505\cgrid\langnp2057\langfenp2070 {\rtlch\fcs1 
\af2 \ltrch\fcs0 \insrsid11684870\charrsid9918351 
\par }{\*\themedata 504b030414000600080000002100e9de0fbfff0000001c020000130000005b436f6e74656e745f54797065735d2e786d6cac91cb4ec3301045f748fc83e52d4a
9cb2400825e982c78ec7a27cc0c8992416c9d8b2a755fbf74cd25442a820166c2cd933f79e3be372bd1f07b5c3989ca74aaff2422b24eb1b475da5df374fd9ad
5689811a183c61a50f98f4babebc2837878049899a52a57be670674cb23d8e90721f90a4d2fa3802cb35762680fd800ecd7551dc18eb899138e3c943d7e503b6
b01d583deee5f99824e290b4ba3f364eac4a430883b3c092d4eca8f946c916422ecab927f52ea42b89a1cd59c254f919b0e85e6535d135a8de20f20b8c12c3b0
0c895fcf6720192de6bf3b9e89ecdbd6596cbcdd8eb28e7c365ecc4ec1ff1460f53fe813d3cc7f5b7f020000ffff0300504b030414000600080000002100a5d6
a7e7c0000000360100000b0000005f72656c732f2e72656c73848fcf6ac3300c87ef85bd83d17d51d2c31825762fa590432fa37d00e1287f68221bdb1bebdb4f
c7060abb0884a4eff7a93dfeae8bf9e194e720169aaa06c3e2433fcb68e1763dbf7f82c985a4a725085b787086a37bdbb55fbc50d1a33ccd311ba548b6309512
0f88d94fbc52ae4264d1c910d24a45db3462247fa791715fd71f989e19e0364cd3f51652d73760ae8fa8c9ffb3c330cc9e4fc17faf2ce545046e37944c69e462
a1a82fe353bd90a865aad41ed0b5b8f9d6fd010000ffff0300504b0304140006000800000021006b799616830000008a0000001c0000007468656d652f746865
6d652f7468656d654d616e616765722e786d6c0ccc4d0ac3201040e17da17790d93763bb284562b2cbaebbf600439c1a41c7a0d29fdbd7e5e38337cedf14d59b
4b0d592c9c070d8a65cd2e88b7f07c2ca71ba8da481cc52c6ce1c715e6e97818c9b48d13df49c873517d23d59085adb5dd20d6b52bd521ef2cdd5eb9246a3d8b
4757e8d3f729e245eb2b260a0238fd010000ffff0300504b03041400060008000000210030dd4329a8060000a41b0000160000007468656d652f7468656d652f
7468656d65312e786d6cec594f6fdb3614bf0fd87720746f6327761a07758ad8b19b2d4d1bc46e871e698996d850a240d2497d1bdae38001c3ba618715d86d87
615b8116d8a5fb34d93a6c1dd0afb0475292c5585e9236d88aad3e2412f9e3fbff1e1fa9abd7eec70c1d1221294fda5efd72cd4324f1794093b0eddd1ef62fad
79482a9c0498f184b4bd2991deb58df7dfbb8ad755446282607d22d771db8b944ad79796a40fc3585ee62949606ecc458c15bc8a702910f808e8c66c69b9565b
5d8a314d3c94e018c8de1a8fa94fd05093f43672e23d06af89927ac06762a049136785c10607758d9053d965021d62d6f6804fc08f86e4bef210c352c144dbab
999fb7b4717509af678b985ab0b6b4ae6f7ed9ba6c4170b06c788a705430adf71bad2b5b057d03606a1ed7ebf5babd7a41cf00b0ef83a6569632cd467faddec9
699640f6719e76b7d6ac355c7c89feca9cccad4ea7d36c65b258a206641f1b73f8b5da6a6373d9c11b90c537e7f08dce66b7bbeae00dc8e257e7f0fd2badd586
8b37a088d1e4600ead1ddaef67d40bc898b3ed4af81ac0d76a197c86826828a24bb318f3442d8ab518dfe3a20f000d6458d104a9694ac6d88728eee2782428d6
0cf03ac1a5193be4cbb921cd0b495fd054b5bd0f530c1931a3f7eaf9f7af9e3f45c70f9e1d3ff8e9f8e1c3e3073f5a42ceaa6d9c84e5552fbffdeccfc71fa33f
9e7ef3f2d117d57859c6fffac327bffcfc793510d26726ce8b2f9ffcf6ecc98baf3efdfdbb4715f04d814765f890c644a29be408edf3181433567125272371be
15c308d3f28acd249438c19a4b05fd9e8a1cf4cd296699771c393ac4b5e01d01e5a30a787d72cf1178108989a2159c77a2d801ee72ce3a5c545a6147f32a9979
3849c26ae66252c6ed637c58c5bb8b13c7bfbd490a75330f4b47f16e441c31f7184e140e494214d273fc80900aedee52ead87597fa824b3e56e82e451d4c2b4d
32a423279a668bb6690c7e9956e90cfe766cb37b077538abd27a8b1cba48c80acc2a841f12e698f13a9e281c57911ce298950d7e03aba84ac8c154f8655c4f2a
f074481847bd804859b5e696007d4b4edfc150b12addbecba6b18b148a1e54d1bc81392f23b7f84137c2715a851dd0242a633f900710a218ed715505dfe56e86
e877f0034e16bafb0e258ebb4faf06b769e888340b103d331115bebc4eb813bf83291b63624a0d1475a756c734f9bbc2cd28546ecbe1e20a3794ca175f3fae90
fb6d2dd99bb07b55e5ccf68942bd0877b23c77b908e8db5f9db7f024d9239010f35bd4bbe2fcae387bfff9e2bc289f2fbe24cfaa301468dd8bd846dbb4ddf1c2
ae7b4c191ba8292337a469bc25ec3d411f06f53a73e224c5292c8de0516732307070a1c0660d125c7d44553488700a4d7bddd3444299910e254ab984c3a219ae
a4adf1d0f82b7bd46cea4388ad1c12ab5d1ed8e1153d9c9f350a3246aad01c6873462b9ac05999ad5cc988826eafc3acae853a33b7ba11cd1445875ba1b236b1
399483c90bd560b0b0263435085a21b0f22a9cf9356b38ec6046026d77eba3dc2dc60b17e92219e180643ed27acffba86e9c94c7ca9c225a0f1b0cfae0788ad5
4adc5a9aec1b703b8b93caec1a0bd8e5de7b132fe5113cf312503b998e2c2927274bd051db6b35979b1ef271daf6c6704e86c73805af4bdd476216c26593af84
0dfb5393d964f9cc9bad5c313709ea70f561ed3ea7b053075221d51696910d0d339585004b34272bff7213cc7a510a5454a3b349b1b206c1f0af490176745d4b
c663e2abb2b34b23da76f6352ba57ca2881844c1111ab189d8c7e07e1daaa04f40255c77988aa05fe06e4e5bdb4cb9c5394bbaf28d98c1d971ccd20867e556a7
689ec9166e0a522183792b8907ba55ca6e943bbf2a26e52f48957218ffcf54d1fb09dc3eac04da033e5c0d0b8c74a6b43d2e54c4a10aa511f5fb021a07533b20
5ae07e17a621a8e082dafc17e450ffb739676998b48643a4daa7211214f623150942f6a02c99e83b85583ddbbb2c4996113211551257a656ec1139246ca86be0
aadedb3d1441a89b6a929501833b197fee7b9641a3503739e57c732a59b1f7da1cf8a73b1f9bcca0945b874d4393dbbf10b1680f66bbaa5d6f96e77b6f59113d
316bb31a795600b3d256d0cad2fe354538e7566b2bd69cc6cbcd5c38f0e2bcc63058344429dc2121fd07f63f2a7c66bf76e80d75c8f7a1b622f878a18941d840
545fb28d07d205d20e8ea071b283369834296bdaac75d256cb37eb0bee740bbe278cad253b8bbfcf69eca23973d939b97891c6ce2cecd8da8e2d343578f6648a
c2d0383fc818c798cf64e52f597c740f1cbd05df0c264c49134cf09d4a60e8a107260f20f92d47b374e32f000000ffff0300504b030414000600080000002100
0dd1909fb60000001b010000270000007468656d652f7468656d652f5f72656c732f7468656d654d616e616765722e786d6c2e72656c73848f4d0ac2301484f7
8277086f6fd3ba109126dd88d0add40384e4350d363f2451eced0dae2c082e8761be9969bb979dc9136332de3168aa1a083ae995719ac16db8ec8e4052164e89
d93b64b060828e6f37ed1567914b284d262452282e3198720e274a939cd08a54f980ae38a38f56e422a3a641c8bbd048f7757da0f19b017cc524bd62107bd500
1996509affb3fd381a89672f1f165dfe514173d9850528a2c6cce0239baa4c04ca5bbabac4df000000ffff0300504b01022d0014000600080000002100e9de0f
bfff0000001c0200001300000000000000000000000000000000005b436f6e74656e745f54797065735d2e786d6c504b01022d0014000600080000002100a5d6
a7e7c0000000360100000b00000000000000000000000000300100005f72656c732f2e72656c73504b01022d00140006000800000021006b799616830000008a
0000001c00000000000000000000000000190200007468656d652f7468656d652f7468656d654d616e616765722e786d6c504b01022d00140006000800000021
0030dd4329a8060000a41b00001600000000000000000000000000d60200007468656d652f7468656d652f7468656d65312e786d6c504b01022d001400060008
00000021000dd1909fb60000001b0100002700000000000000000000000000b20900007468656d652f7468656d652f5f72656c732f7468656d654d616e616765722e786d6c2e72656c73504b050600000000050005005d010000ad0a00000000}
{\*\colorschememapping 3c3f786d6c2076657273696f6e3d22312e302220656e636f64696e673d225554462d3822207374616e64616c6f6e653d22796573223f3e0d0a3c613a636c724d
617020786d6c6e733a613d22687474703a2f2f736368656d61732e6f70656e786d6c666f726d6174732e6f72672f64726177696e676d6c2f323030362f6d6169
6e22206267313d226c743122207478313d22646b3122206267323d226c743222207478323d22646b322220616363656e74313d22616363656e74312220616363
656e74323d22616363656e74322220616363656e74333d22616363656e74332220616363656e74343d22616363656e74342220616363656e74353d22616363656e74352220616363656e74363d22616363656e74362220686c696e6b3d22686c696e6b2220666f6c486c696e6b3d22666f6c486c696e6b222f3e}
{\*\latentstyles\lsdstimax267\lsdlockeddef0\lsdsemihiddendef1\lsdunhideuseddef1\lsdqformatdef0\lsdprioritydef99{\lsdlockedexcept \lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority0 \lsdlocked0 Normal;
\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdlocked0 heading 1;\lsdqformat1 \lsdpriority9 \lsdlocked0 heading 2;\lsdqformat1 \lsdpriority9 \lsdlocked0 heading 3;\lsdqformat1 \lsdpriority9 \lsdlocked0 heading 4;
\lsdqformat1 \lsdpriority9 \lsdlocked0 heading 5;\lsdqformat1 \lsdpriority9 \lsdlocked0 heading 6;\lsdqformat1 \lsdpriority9 \lsdlocked0 heading 7;\lsdqformat1 \lsdpriority9 \lsdlocked0 heading 8;\lsdqformat1 \lsdpriority9 \lsdlocked0 heading 9;
\lsdpriority39 \lsdlocked0 toc 1;\lsdpriority39 \lsdlocked0 toc 2;\lsdpriority39 \lsdlocked0 toc 3;\lsdpriority39 \lsdlocked0 toc 4;\lsdpriority39 \lsdlocked0 toc 5;\lsdpriority39 \lsdlocked0 toc 6;\lsdpriority39 \lsdlocked0 toc 7;
\lsdpriority39 \lsdlocked0 toc 8;\lsdpriority39 \lsdlocked0 toc 9;\lsdqformat1 \lsdpriority35 \lsdlocked0 caption;\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority10 \lsdlocked0 Title;\lsdunhideused0 \lsdlocked0 Default Paragraph Font;
\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority11 \lsdlocked0 Subtitle;\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority22 \lsdlocked0 Strong;\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority20 \lsdlocked0 Emphasis;
\lsdunhideused0 \lsdlocked0 Plain Text;\lsdsemihidden0 \lsdunhideused0 \lsdpriority59 \lsdlocked0 Table Grid;\lsdunhideused0 \lsdlocked0 Placeholder Text;\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority1 \lsdlocked0 No Spacing;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority60 \lsdlocked0 Light Shading;\lsdsemihidden0 \lsdunhideused0 \lsdpriority61 \lsdlocked0 Light List;\lsdsemihidden0 \lsdunhideused0 \lsdpriority62 \lsdlocked0 Light Grid;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority63 \lsdlocked0 Medium Shading 1;\lsdsemihidden0 \lsdunhideused0 \lsdpriority64 \lsdlocked0 Medium Shading 2;\lsdsemihidden0 \lsdunhideused0 \lsdpriority65 \lsdlocked0 Medium List 1;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority66 \lsdlocked0 Medium List 2;\lsdsemihidden0 \lsdunhideused0 \lsdpriority67 \lsdlocked0 Medium Grid 1;\lsdsemihidden0 \lsdunhideused0 \lsdpriority68 \lsdlocked0 Medium Grid 2;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority69 \lsdlocked0 Medium Grid 3;\lsdsemihidden0 \lsdunhideused0 \lsdpriority70 \lsdlocked0 Dark List;\lsdsemihidden0 \lsdunhideused0 \lsdpriority71 \lsdlocked0 Colorful Shading;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority72 \lsdlocked0 Colorful List;\lsdsemihidden0 \lsdunhideused0 \lsdpriority73 \lsdlocked0 Colorful Grid;\lsdsemihidden0 \lsdunhideused0 \lsdpriority60 \lsdlocked0 Light Shading Accent 1;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority61 \lsdlocked0 Light List Accent 1;\lsdsemihidden0 \lsdunhideused0 \lsdpriority62 \lsdlocked0 Light Grid Accent 1;\lsdsemihidden0 \lsdunhideused0 \lsdpriority63 \lsdlocked0 Medium Shading 1 Accent 1;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority64 \lsdlocked0 Medium Shading 2 Accent 1;\lsdsemihidden0 \lsdunhideused0 \lsdpriority65 \lsdlocked0 Medium List 1 Accent 1;\lsdunhideused0 \lsdlocked0 Revision;
\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority34 \lsdlocked0 List Paragraph;\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority29 \lsdlocked0 Quote;\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority30 \lsdlocked0 Intense Quote;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority66 \lsdlocked0 Medium List 2 Accent 1;\lsdsemihidden0 \lsdunhideused0 \lsdpriority67 \lsdlocked0 Medium Grid 1 Accent 1;\lsdsemihidden0 \lsdunhideused0 \lsdpriority68 \lsdlocked0 Medium Grid 2 Accent 1;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority69 \lsdlocked0 Medium Grid 3 Accent 1;\lsdsemihidden0 \lsdunhideused0 \lsdpriority70 \lsdlocked0 Dark List Accent 1;\lsdsemihidden0 \lsdunhideused0 \lsdpriority71 \lsdlocked0 Colorful Shading Accent 1;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority72 \lsdlocked0 Colorful List Accent 1;\lsdsemihidden0 \lsdunhideused0 \lsdpriority73 \lsdlocked0 Colorful Grid Accent 1;\lsdsemihidden0 \lsdunhideused0 \lsdpriority60 \lsdlocked0 Light Shading Accent 2;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority61 \lsdlocked0 Light List Accent 2;\lsdsemihidden0 \lsdunhideused0 \lsdpriority62 \lsdlocked0 Light Grid Accent 2;\lsdsemihidden0 \lsdunhideused0 \lsdpriority63 \lsdlocked0 Medium Shading 1 Accent 2;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority64 \lsdlocked0 Medium Shading 2 Accent 2;\lsdsemihidden0 \lsdunhideused0 \lsdpriority65 \lsdlocked0 Medium List 1 Accent 2;\lsdsemihidden0 \lsdunhideused0 \lsdpriority66 \lsdlocked0 Medium List 2 Accent 2;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority67 \lsdlocked0 Medium Grid 1 Accent 2;\lsdsemihidden0 \lsdunhideused0 \lsdpriority68 \lsdlocked0 Medium Grid 2 Accent 2;\lsdsemihidden0 \lsdunhideused0 \lsdpriority69 \lsdlocked0 Medium Grid 3 Accent 2;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority70 \lsdlocked0 Dark List Accent 2;\lsdsemihidden0 \lsdunhideused0 \lsdpriority71 \lsdlocked0 Colorful Shading Accent 2;\lsdsemihidden0 \lsdunhideused0 \lsdpriority72 \lsdlocked0 Colorful List Accent 2;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority73 \lsdlocked0 Colorful Grid Accent 2;\lsdsemihidden0 \lsdunhideused0 \lsdpriority60 \lsdlocked0 Light Shading Accent 3;\lsdsemihidden0 \lsdunhideused0 \lsdpriority61 \lsdlocked0 Light List Accent 3;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority62 \lsdlocked0 Light Grid Accent 3;\lsdsemihidden0 \lsdunhideused0 \lsdpriority63 \lsdlocked0 Medium Shading 1 Accent 3;\lsdsemihidden0 \lsdunhideused0 \lsdpriority64 \lsdlocked0 Medium Shading 2 Accent 3;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority65 \lsdlocked0 Medium List 1 Accent 3;\lsdsemihidden0 \lsdunhideused0 \lsdpriority66 \lsdlocked0 Medium List 2 Accent 3;\lsdsemihidden0 \lsdunhideused0 \lsdpriority67 \lsdlocked0 Medium Grid 1 Accent 3;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority68 \lsdlocked0 Medium Grid 2 Accent 3;\lsdsemihidden0 \lsdunhideused0 \lsdpriority69 \lsdlocked0 Medium Grid 3 Accent 3;\lsdsemihidden0 \lsdunhideused0 \lsdpriority70 \lsdlocked0 Dark List Accent 3;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority71 \lsdlocked0 Colorful Shading Accent 3;\lsdsemihidden0 \lsdunhideused0 \lsdpriority72 \lsdlocked0 Colorful List Accent 3;\lsdsemihidden0 \lsdunhideused0 \lsdpriority73 \lsdlocked0 Colorful Grid Accent 3;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority60 \lsdlocked0 Light Shading Accent 4;\lsdsemihidden0 \lsdunhideused0 \lsdpriority61 \lsdlocked0 Light List Accent 4;\lsdsemihidden0 \lsdunhideused0 \lsdpriority62 \lsdlocked0 Light Grid Accent 4;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority63 \lsdlocked0 Medium Shading 1 Accent 4;\lsdsemihidden0 \lsdunhideused0 \lsdpriority64 \lsdlocked0 Medium Shading 2 Accent 4;\lsdsemihidden0 \lsdunhideused0 \lsdpriority65 \lsdlocked0 Medium List 1 Accent 4;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority66 \lsdlocked0 Medium List 2 Accent 4;\lsdsemihidden0 \lsdunhideused0 \lsdpriority67 \lsdlocked0 Medium Grid 1 Accent 4;\lsdsemihidden0 \lsdunhideused0 \lsdpriority68 \lsdlocked0 Medium Grid 2 Accent 4;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority69 \lsdlocked0 Medium Grid 3 Accent 4;\lsdsemihidden0 \lsdunhideused0 \lsdpriority70 \lsdlocked0 Dark List Accent 4;\lsdsemihidden0 \lsdunhideused0 \lsdpriority71 \lsdlocked0 Colorful Shading Accent 4;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority72 \lsdlocked0 Colorful List Accent 4;\lsdsemihidden0 \lsdunhideused0 \lsdpriority73 \lsdlocked0 Colorful Grid Accent 4;\lsdsemihidden0 \lsdunhideused0 \lsdpriority60 \lsdlocked0 Light Shading Accent 5;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority61 \lsdlocked0 Light List Accent 5;\lsdsemihidden0 \lsdunhideused0 \lsdpriority62 \lsdlocked0 Light Grid Accent 5;\lsdsemihidden0 \lsdunhideused0 \lsdpriority63 \lsdlocked0 Medium Shading 1 Accent 5;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority64 \lsdlocked0 Medium Shading 2 Accent 5;\lsdsemihidden0 \lsdunhideused0 \lsdpriority65 \lsdlocked0 Medium List 1 Accent 5;\lsdsemihidden0 \lsdunhideused0 \lsdpriority66 \lsdlocked0 Medium List 2 Accent 5;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority67 \lsdlocked0 Medium Grid 1 Accent 5;\lsdsemihidden0 \lsdunhideused0 \lsdpriority68 \lsdlocked0 Medium Grid 2 Accent 5;\lsdsemihidden0 \lsdunhideused0 \lsdpriority69 \lsdlocked0 Medium Grid 3 Accent 5;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority70 \lsdlocked0 Dark List Accent 5;\lsdsemihidden0 \lsdunhideused0 \lsdpriority71 \lsdlocked0 Colorful Shading Accent 5;\lsdsemihidden0 \lsdunhideused0 \lsdpriority72 \lsdlocked0 Colorful List Accent 5;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority73 \lsdlocked0 Colorful Grid Accent 5;\lsdsemihidden0 \lsdunhideused0 \lsdpriority60 \lsdlocked0 Light Shading Accent 6;\lsdsemihidden0 \lsdunhideused0 \lsdpriority61 \lsdlocked0 Light List Accent 6;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority62 \lsdlocked0 Light Grid Accent 6;\lsdsemihidden0 \lsdunhideused0 \lsdpriority63 \lsdlocked0 Medium Shading 1 Accent 6;\lsdsemihidden0 \lsdunhideused0 \lsdpriority64 \lsdlocked0 Medium Shading 2 Accent 6;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority65 \lsdlocked0 Medium List 1 Accent 6;\lsdsemihidden0 \lsdunhideused0 \lsdpriority66 \lsdlocked0 Medium List 2 Accent 6;\lsdsemihidden0 \lsdunhideused0 \lsdpriority67 \lsdlocked0 Medium Grid 1 Accent 6;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority68 \lsdlocked0 Medium Grid 2 Accent 6;\lsdsemihidden0 \lsdunhideused0 \lsdpriority69 \lsdlocked0 Medium Grid 3 Accent 6;\lsdsemihidden0 \lsdunhideused0 \lsdpriority70 \lsdlocked0 Dark List Accent 6;
\lsdsemihidden0 \lsdunhideused0 \lsdpriority71 \lsdlocked0 Colorful Shading Accent 6;\lsdsemihidden0 \lsdunhideused0 \lsdpriority72 \lsdlocked0 Colorful List Accent 6;\lsdsemihidden0 \lsdunhideused0 \lsdpriority73 \lsdlocked0 Colorful Grid Accent 6;
\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority19 \lsdlocked0 Subtle Emphasis;\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority21 \lsdlocked0 Intense Emphasis;
\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority31 \lsdlocked0 Subtle Reference;\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority32 \lsdlocked0 Intense Reference;
\lsdsemihidden0 \lsdunhideused0 \lsdqformat1 \lsdpriority33 \lsdlocked0 Book Title;\lsdpriority37 \lsdlocked0 Bibliography;\lsdqformat1 \lsdpriority39 \lsdlocked0 TOC Heading;}}{\*\datastore 010500000200000018000000
4d73786d6c322e534158584d4c5265616465722e362e30000000000000000000000e0000
d0cf11e0a1b11ae1000000000000000000000000000000003e000300feff0900060000000000000000000000010000000100000000000000001000000200000001000000feffffff0000000000000000ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
fffffffffffffffffdffffff04000000feffffff05000000fefffffffeffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ffffffffffffffffffffffffffffffff52006f006f007400200045006e00740072007900000000000000000000000000000000000000000000000000000000000000000000000000000000000000000016000500ffffffffffffffff010000000c6ad98892f1d411a65f0040963251e50000000000000000000000000041
6defd2d3cd010300000080020000000000004d0073006f004400610074006100530074006f0072006500000000000000000000000000000000000000000000000000000000000000000000000000000000001a000101ffffffffffffffff02000000000000000000000000000000000000000000000000416defd2d3cd01
00416defd2d3cd01000000000000000000000000d30034005500d900cb004500ce00dc00c900c400c600d400c400d800c000cb00c000540057003100d300c0003d003d000000000000000000000000000000000032000101ffffffffffffffff03000000000000000000000000000000000000000000000000416defd2d3
cd0100416defd2d3cd010000000000000000000000004900740065006d0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000a000201ffffffff04000000ffffffff000000000000000000000000000000000000000000000000
00000000000000000000000000000000d800000000000000010000000200000003000000feffffff0500000006000000070000000800000009000000feffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff3c623a536f75726365732053656c65637465645374796c653d225c4150412e58534c22205374796c654e616d653d224150412220786d6c6e733a623d22687474703a2f2f736368656d61732e6f70656e786d6c666f726d6174732e6f7267
2f6f6666696365446f63756d656e742f323030362f6269626c696f6772617068792220786d6c6e733d22687474703a2f2f736368656d61732e6f70656e786d6c666f726d6174732e6f72672f6f6666696365446f63756d656e742f323030362f6269626c696f677261706879223e3c2f623a536f75726365733e00000000
0000000000000000000000000000000000000000000000000000000000000000000000003c3f786d6c2076657273696f6e3d22312e302220656e636f64696e673d225554462d3822207374616e64616c6f6e653d226e6f223f3e0d0a3c64733a6461746173746f72654974656d2064733a6974656d49443d227b41433339
453543442d424334422d343941362d423439332d3838324238313335394243457d2220786d6c6e733a64733d22687474703a2f2f736368656d61732e6f70656e786d6c666f726d6174732e6f72672f6f6666696365446f63756d656e742f323030362f637573746f6d586d6c223e3c64733a736368656d61526566733e3c
64733a736368656d615265662064733a7572693d22687474703a2f2f736368656d61732e6f70656e500072006f007000650072007400690065007300000000000000000000000000000000000000000000000000000000000000000000000000000000000000000016000200ffffffffffffffffffffffff000000000000
0000000000000000000000000000000000000000000000000000000000000400000055010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000ffffffffffffffffffffffff00000000
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000ffffffffffffffffffffffff0000
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000ffffffffffffffffffffffff
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000786d6c666f726d6174732e6f72672f6f6666696365446f63756d656e742f323030362f6269626c696f677261706879222f3e3c2f64733a736368656d61526566733e3c2f64733a6461746173746f
72654974656d3e0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000
00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000105000000000000}}